step(bs,al,tm(s,[ctxm(zeta_,sp,ip,ip_bs,ip_bs),ctxm(zeta_,u,ip,ip_al_3,ip_al_3)],pri(lst,[pri(lst,[pri(lst,[ctxm(zeta_,sp,id,id_bs,id_bs),pri(pk,[ctxm(zeta_,sp,kM,kM_bs,kM_bs)]),ctxm(zeta_,dot,n_sp,in_bs,cn_bs)]),pri(sig,[pri(lst,[ctxm(zeta_,sp,id,id_bs,id_bs),pri(pk,[ctxm(zeta_,sp,kM,kM_bs,kM_bs)]),ctxm(zeta_,dot,n_sp,in_bs,cn_bs)]),ctxm(zeta_,ca,kM,kM_ca,kM_ca)])]),ctxm(zeta_,dot,n_b,ss(zeta_,i_n_b),ss(zeta_,c_n_b))]))).
